-
1 logical deduction
Программирование: логический вывод -
2 logical deduction
логический выводEnglish-Russian dictionary of technical terms > logical deduction
-
3 logical deduction
см. тж. formal logicАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > logical deduction
-
4 logical deduction
Англо-русский словарь по исследованиям и ноу-хау > logical deduction
-
5 deduction
dɪˈdʌkʃən сущ.
1) а) вычет;
удержание( for;
from) ;
снижение, сокращение to make a deduction ≈ вычитать Our employer makes a deduction from our salary for the income tax. ≈ Наш работодатель вычитает из нашего жалованья подоходный налог. Syn: subtracting, deducting, abatement б) вычитаемое (число, сумма, величина и т.д.) Syn: subtrahend
2) сбавка, скидка, уступка Syn: discount, rebate
3) а) логический вывод (процедура получения умозаключения), дедукция б) вывод, заключение illogical deduction ≈ нелогичный вывод logical deduction ≈ логичный вывод a deduction about ≈ заключение о These events confirm my deduction that he was to blame. ≈ Эти события подтвердили мое заключение о том, что он виновен. to make a deduction ≈ делать заключение Syn: conclusion, reasoning Ant: induction вычитание, удержание - * of a sum from smb.'s pay удержание определенной суммы из зарплаты удержание, вычет - after * of taxes после удержания налогов - to make a * удерживать (математика) вычитаемое скидка, сбавка;
уступка - a * in the yearly rent скидка на годовую ренту - he wouldn't give me a * on it он не сделает мне скидки на это вывод, (умо) заключение, следствие - fallacious * ложный вывод (логика) выведение, дедукция - to draw a * сделать вывод, вывести следствие - to reach an opinion through /by/ * прийти к какому-л. выводу с помощью дедукции advance ~ авансовый вычет advance ~ предварительное удержание after ~ of за вычетом allowable ~ налог. законная льгота allowable ~ разрешенная скидка basic ~ основной вычет deduction вывод, следствие ~ вывод, заключение;
лог. дедукция ~ вывод ~ вычет ~ вычитаемое ~ вычитание, удержание ~ вычитание, вычет;
удержание;
deduction in pay вычеты, удержания из жалованья ~ вычитание ~ дедукция ~ скидка ~ следствие ~ удержание ~ умозаключение ~ уступка ~ for assessment purposes удержание в целях налогообложения ~ for social security удержание в целях социального обеспечения ~ вычитание, вычет;
удержание;
deduction in pay вычеты, удержания из жалованья ~ of expenditure удержание расходов ~ of interest on premature withdrawal удержание процентов при преждевременном снятии вклада ~ of tax удержание налога disallowed ~ неразрешенное удержание disallowed ~ неразрешенный вычет dividends received ~ вычет из полученного дивиденда excess ~ чрезмерный вычет harmonization ~ соц. скидка для согласованного налогообложения interest ~ процентный вычет invalid's ~ скидка для инвалидов legal ~ удержание по суду maintenance ~ удержание алиментов medical cost ~ вычет на оплату медицинского обслуживания mortgage interest ~ вычет с процента по закладной mortgage interest ~ скидка с процента по закладной nonitemized ~ удержание, не распределенное по статьям percentage ~ процентная скидка с налога personal ~ вычет из личного дохода, не подлежащий обложению repurchase ~ удержание при покупке ранее проданного товара resulting ~ вчт. регулирующий вывод salary ~ вычет из заработной платы salary ~ удержание из заработной платы standard ~ вчт. нормативный вычет standard ~ стандартная сумма дохода, не облагаемая индивидуальным подоходным налогом subsidiary ~ вчт. вспомогательный вывод tax ~ взимание налога tax ~ удержание налога tax ~ based on degree of disability снижение ставки налога в зависимости от группы инвалидности wage ~ вычеты из зарплатыБольшой англо-русский и русско-английский словарь > deduction
-
6 deduction
[dɪ'dʌkʃ(ə)n]сущ.1) вычет; удержание; снижение, сокращениеOur employer makes a deduction from our salary for the income tax. — Наш работодатель вычитает из нашего жалованья подоходный налог.
Syn:2) мат. вычитаемое (число, сумма, величина)Syn:3) сбавка, скидка, уступкаSyn:4) лог. логический вывод ( процедура получения умозаключения), дедукция; вывод, заключениеto make a deduction — делать вывод, заключение
Syn:Ant: -
7 логический вывод
Большой англо-русский и русско-английский словарь > логический вывод
-
8 formal logic
формальная (математическая, символическая) логиканаправление логики, изучающее чётко определённые логические операции над символами (аргументами), не касаясь их содержания.Syn:Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > formal logic
-
9 rule
1) правило, норма; норматив || устанавливать правила или нормы2) строит. прав'ило3) линейка || линовать, разлиновывать4) правление || управлять, руководить, командовать5) мат. закон6) графить, разграфлять•set closed under rule — множество, замкнутое относительно операции
- blind man's ruleto lay down the rule — формулировать [устанавливать] правило
- box rule- cut rule- em rule- slow-in- sum rule- three sigma rule -
10 principle
1) правило; принцип2) закон3) начало, первооснова, (перво)источник•- distributed maximum principle - least number principle - principle of adiabatic invariance - principle of contraction mapping - principle of extension of inequalities - principle of fixed point - principle of harmonic balance - principle of harmonic measure - principle of hyperbolic measure - principle of least squares - principle of length and area - principle of mathematical induction - principle of maximum likelihood - principle of point estimation - principle of stationary phase - principle of stochastic balance - principle of transfinite induction - principle of unsufficient reason - virtual work principle - weak likelihood principle -
11 reasoning
ˈri:znɪŋ
1. сущ.
1) рассуждение, умозаключение cogent, logical, plausible, solid, faulty reasoning ≈ ошибочное рассуждение Her reasoning that the crime had been committed elsewhere proved to be true. ≈ Ее заключение о том, что преступление было совершено где-то в другом месте, оказалось верным. deductive reasoning inductive reasoning shrewd reasoning specious reasoning Syn: deduction, induction, inference, ratiocination
2) объяснения;
аргументация, доказательство Syn: argumentation
2. прил. мыслящий, способный к рассуждению рассуждение, логический ход мысли - power of * способность рассуждать аргументация, доводы, доказательства;
объяснения - there is no * with her ее не переубедишь, ей не втолкуешь;
ее не переспоришь bottom-up ~ вчт. индуктивный вывод common-sense ~ рассуждение здравого смысла default ~ вчт. рассуждение по умолчанию non-monotonic ~ немонотонное рассуждение nonmonotonic ~ немонотонный вывод ~ объяснения;
аргументация;
the pupils understood the teacher's reasoning ученики поняли объяснения учителя reasoning pres. p. от reason ~ мыслящий, способный рассуждать ~ объяснения;
аргументация;
the pupils understood the teacher's reasoning ученики поняли объяснения учителя ~ рассуждение ~ in support of the judgment основания вынесенного решенияБольшой англо-русский и русско-английский словарь > reasoning
-
12 tree
1) вчт древовидная схема; древовидный дешифратор2) дерево (напр. графа) || древовидный3) крист. дендрит•- tree of given weight
- tree of objectives
- tree of statements
- abstract syntax tree
- adaptive tree
- Adel'son-Vel'ski-Landis tree
- Aronshine tree
- AVL tree
- B-tree
- balanced tree
- bifurcation tree
- binary tree
- binary searchtree
- Boolean tree
- branching tree
- Cartesian tree
- Cayley tree
- choice tree
- classification tree
- classification and regression tree
- clock tree
- cluster tree
- co-tree
- code tree
- command tree
- complement tree
- complete code tree
- computation tree
- conference tree
- countable tree
- decision tree
- decomposition tree
- deduction tree
- derivation tree
- edge-rooted tree
- equipotential tree
- existence trie tree
- fault tree
- Feigenbaum tree
- Fibonacci tree
- finite tree
- fractal tree
- game tree
- generation tree
- graph tree
- hardware tree
- hierarchical tree
- homeomorphically irreducible tree
- Husimi tree
- hypothesis search tree
- inference tree
- information tree
- labeled tree
- language tree
- lexicographic tree
- loaded fractal tree
- logical tree
- minimal tree
- minimal length tree
- multibranch tree
- multiway tree
- normal tree
- optimal tree
- optimal merge tree
- optimal search tree
- ordered tree
- oriented tree
- outcome tree
- parse tree
- parsing tree
- patricia tree
- planar tree
- plane tree
- priority tree
- priority search tree
- probability tree
- production tree
- proper tree
- proof tree
- radix tree
- randomized binary tree
- RB tree
- recursive tree
- red-black tree
- response tree
- rooted tree
- search tree
- selection tree
- shortest tree
- shortest-distance tree
- signed tree
- spanning tree
- specific tree
- subject tree
- subspanning tree
- suffix tree
- symmetric tree
- syntax tree
- ternary tree
- ternary search tree
- threaded tree
- topological tree
- transition tree
- trie tree
- two-color tree
- two-dimensional tree
- two-level tree
- unlabeled tree
- weighted tree -
13 criterion
-
14 law
1) закон3) правило4) принцип•under the law — по закону, согласно закону, в соответствии с законом
- Biot law- converse law of double negation- cube law- distributive law of disjunction over conjunction - double law of the mean - fifth power law - first distributive law - first law of mean- gas law- idempotency law - infinitely decomposable law - infinitely divisible law - inverse sine law - inverse square law - law of addition of probability - law of alteration of quantifiers - law of associativity of disjunction - law of comparative judgment - law of constant angles - law of double complementation - law of equal significance - law of mass action - law of random function - law of random vector - law of requisite variety - law of right invertibility - law of statistical regularity - law of universal causation - law of universal gravitation - Newton's first law of motion - Newton's law of gravitation - Newton's second law of motion - Newton's third law of motion - normal law of composition - normal law of errors - one-sided modular law - probabilistic law - probability law - product law of probability - quadratic reciprocity law - second law of mean - second order law - similitude law- time law- weak law -
15 theorem
- analytical hierarchy theorem - arithmetical hierarchy theorem - closed range theorem - formally provable theorem - implicit function theorem - initial value theorem - integral representation theorem - local limit theorem - maximal ergodic theorem - mean value theorem - normal form theorem - ratio limit theorem - rational root theorem - second mean value theorem - theorem of consistency proofs - theorem of corresponding states - three line theorem - three series theorem - uniform convergence theorem - uniform ergodic theorem - uniform mean value theoremtheorem implies — из теоремы следует, что…
-
16 tree
1) дерево, древо || засаживать деревьями2) древовидная схема; древовидная структура3) т. граф. дерево4) pl дендритные образования на катоде ( при электроосаждении металлов)- mixed star tree - plane tree- set tree -
17 reasoning
1. n рассуждение, логический ход мысли2. n аргументация, доводы, доказательства; объясненияthere is no reasoning with her — её не переубедишь, ей не втолкуешь; её не переспоришь
Синонимический ряд:1. analytical (adj.) analytical; balanced; clearheaded; intelligent; judicious; logical; rational; sensible; thoughtful2. thinking (noun) deduction; inference; logic; motivation; rationale; rationalizing; reasons; thinking; thought3. thinking (verb) cerebrating; cogitating; deliberating; reflecting; speculating; thinking
См. также в других словарях:
deduction — n. subtracting deducting 1) to make a deduction 2) a deduction for; from (our employer makes a deduction from our salary for the income tax) conclusion 3) to make a deduction 4) an illogical; logical deduction 5) a deduction about 6) the… … Combinatory dictionary
deduction — noun 1 working things out from the facts ADJECTIVE ▪ brilliant ▪ logical ▪ reasonable VERB + DEDUCTION ▪ make PREPOSITION … Collocations dictionary
logical — lo|gic|al S3 [ˈlɔdʒıkəl US ˈla: ] adj 1.) seeming reasonable and sensible ≠ ↑illogical ▪ It s a logical site for a new supermarket, with the housing development nearby. ▪ a logical conclusion 2.) using a thinking process in which facts and ideas… … Dictionary of contemporary English
deduction — noun Date: 15th century 1. a. an act of taking away < deduction of legitimate business expenses > b. something that is or may be subtracted < deductions from his taxable income > 2 … New Collegiate Dictionary
Logical positivism — (also known as logical empiricism, scientific philosophy, and neo positivism) is a philosophy that combines empiricism the idea that observational evidence is indispensable for knowledge with a version of rationalism incorporating mathematical… … Wikipedia
Logical truth — is one of the most fundamental concepts in logic, and there are different theories on its nature. A logical truth is a statement which is true and remains true under all reinterpretations of its components other than its logical constants. It is… … Wikipedia
deduction — de·duc·tion n 1: an amount allowed by tax laws to be subtracted from income in order to decrease the amount of income tax due see also internal revenue code in the important laws section compare credit, ex … Law dictionary
Deduction — may refer to: in logic: Deductive reasoning, inference in which the conclusion is of no greater generality than the premises Natural deduction, an approach to proof theory that attempts to provide a formal model of logical reasoning as it… … Wikipedia
deduction — deduction, deductive The use of logical rules to arrive at a set of premisses from which certain conclusions must follow. Deduction begins with theory , moves to hypotheses derived from the theory, and then tests hypotheses via prediction and… … Dictionary of sociology
logical process — index deduction (conclusion), dialectic, system Burton s Legal Thesaurus. William C. Burton. 2006 … Law dictionary
logical sequence — index corollary, deduction (conclusion), dialectic Burton s Legal Thesaurus. William C. Burton. 2006 … Law dictionary
